1
Structural Proof Theory

Structural Proof Theory

Sara Negri, Jan von Plato, Aarne Ranta (Appendix)
साल:
2008
भाषा:
english
फ़ाइल:
PDF, 5.15 MB
5.0 / 5.0
english, 2008
2
Creating Modern Probability: Its Mathematics, Physics and Philosophy in Historical Perspective

Creating Modern Probability: Its Mathematics, Physics and Philosophy in Historical Perspective

Jan von Plato
साल:
1998
भाषा:
english
फ़ाइल:
PDF, 4.92 MB
0 / 0
english, 1998
3
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

Jan von Plato
साल:
2017
भाषा:
english
फ़ाइल:
PDF, 2.78 MB
5.0 / 5.0
english, 2017
4
Kurt Gödel: The Princeton Lectures on Intuitionism

Kurt Gödel: The Princeton Lectures on Intuitionism

Maria Hämeen-Anttila (editor), Jan von Plato (editor)
साल:
2021
भाषा:
english
फ़ाइल:
PDF, 1.01 MB
0 / 0
english, 2021
5
Proof Analysis: A Contribution to Hilbert's Last Problem

Proof Analysis: A Contribution to Hilbert's Last Problem

Sara Negri, Jan von Plato
साल:
2011
भाषा:
english
फ़ाइल:
PDF, 1.56 MB
0 / 0
english, 2011
6
Intelligent Environmental Data Monitoring for Pollution Management

Intelligent Environmental Data Monitoring for Pollution Management

Siddhartha Bhattacharyya, Naba Kumar Mondal, Jan Platos, Vaclav Snasel, Pavel Kromer
साल:
2020
भाषा:
english
फ़ाइल:
PDF, 17.40 MB
0 / 0
english, 2020
7
Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics

Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics

Jan von Plato
साल:
2022
भाषा:
english
फ़ाइल:
PDF, 877 KB
5.0 / 5.0
english, 2022
8
Kurt Gödel

Kurt Gödel

Maria Hämeen-Anttila, Jan von Plato
साल:
2023
भाषा:
english
फ़ाइल:
PDF, 4.39 MB
0 / 5.0
english, 2023
9
Structural Proof Theory

Structural Proof Theory

Sara Negri, Jan von Plato, Aarne Ranta (Appendix)
साल:
2008
भाषा:
english
फ़ाइल:
PDF, 5.37 MB
5.0 / 0
english, 2008
10
Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics

Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics

Jan von Plato
साल:
2022
भाषा:
english
फ़ाइल:
PDF, 1.47 MB
0 / 5.0
english, 2022
11
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

Jan von Plato
साल:
2017
भाषा:
english
फ़ाइल:
PDF, 1.58 MB
5.0 / 0
english, 2017
12
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

Jan von Plato
साल:
2017
भाषा:
english
फ़ाइल:
PDF, 1.99 MB
5.0 / 0
english, 2017
13
Proof Analysis: A Contribution to Hilbert's Last Problem

Proof Analysis: A Contribution to Hilbert's Last Problem

Sara Negri, Jan von Plato
साल:
2011
भाषा:
english
फ़ाइल:
PDF, 1.66 MB
0 / 5.0
english, 2011
14
Portrait of Young Gödel: Education, First Steps in Logic, the Problem of Completeness

Portrait of Young Gödel: Education, First Steps in Logic, the Problem of Completeness

Jan von Plato
साल:
2024
भाषा:
english
फ़ाइल:
PDF, 4.13 MB
0 / 5.0
english, 2024
15
Proof Analysis: A Contribution to Hilbert's Last Problem

Proof Analysis: A Contribution to Hilbert's Last Problem

Sara Negri, Jan von Plato
साल:
2011
भाषा:
english
फ़ाइल:
PDF, 972 KB
0 / 0
english, 2011
16
Structural Proof Theory

Structural Proof Theory

Sara Negri, Jan von Plato, Aarne Ranta (Appendix)
साल:
2008
भाषा:
english
फ़ाइल:
DJVU, 1.45 MB
0 / 0
english, 2008
18
Creating Modern Probability: Its Mathematics, Physics and Philosophy in Historical Perspective

Creating Modern Probability: Its Mathematics, Physics and Philosophy in Historical Perspective

Jan Von Plato
साल:
1998
भाषा:
english
फ़ाइल:
DJVU, 2.41 MB
0 / 0
english, 1998
19
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

Jan von Plato
साल:
2017
भाषा:
english
फ़ाइल:
PDF, 1.49 MB
0 / 0
english, 2017
23
Can Mathematics Be Proved Consistent?: Gödel's Shorthand Notes & Lectures on Incompleteness

Can Mathematics Be Proved Consistent?: Gödel's Shorthand Notes & Lectures on Incompleteness

Jan von Plato
साल:
2020
भाषा:
english
फ़ाइल:
PDF, 1.60 MB
0 / 0
english, 2020
24
Hybrid Machine Intelligence for Medical Image Analysis

Hybrid Machine Intelligence for Medical Image Analysis

Siddhartha Bhattacharyya, Debanjan Konar, Jan Platos, Chinmoy Kar, Kalpana Sharma
साल:
2020
भाषा:
english
फ़ाइल:
PDF, 14.76 MB
0 / 0
english, 2020
25
Saved from the Cellar: Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics

Saved from the Cellar: Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics

Jan von Plato (auth.)
साल:
2017
भाषा:
english
फ़ाइल:
PDF, 3.44 MB
0 / 0
english, 2017
27
Saved from the cellar: Gerhard Gentzen's shorthand notes on logic and foundations of mathematics

Saved from the cellar: Gerhard Gentzen's shorthand notes on logic and foundations of mathematics

Jan von Plato
साल:
2017
भाषा:
english
फ़ाइल:
PDF, 2.11 MB
0 / 0
english, 2017